example(active(d110), -1).
example(active(d111), -1).
example(active(d114), -1).
example(active(d116), -1).
example(active(d117), -1).
example(active(d119), -1).
example(active(d121), -1).
example(active(d123), -1).
example(active(d124), -1).
example(active(d125), -1).
example(active(d127), -1).
example(active(d128), -1).
example(active(d130), -1).
example(active(d133), -1).
example(active(d150), -1).
example(active(d151), -1).
example(active(d154), -1).
example(active(d155), -1).
example(active(d156), -1).
example(active(d159), -1).
example(active(d160), -1).
example(active(d161), -1).
example(active(d162), -1).
example(active(d163), -1).
example(active(d164), -1).
example(active(d165), -1).
example(active(d166), -1).
example(active(d169), -1).
example(active(d170), -1).
example(active(d171), -1).
example(active(d172), -1).
example(active(d173), -1).
example(active(d174), -1).
example(active(d178), -1).
example(active(d179), -1).
example(active(d180), -1).
example(active(d181), -1).
example(active(d183), -1).
example(active(d184), -1).
example(active(d185), -1).
example(active(d186), -1).
example(active(d188), -1).
example(active(d190), -1).
example(active(d194), -1).
example(active(d207), -1).
example(active(d208_1), -1).
example(active(d209), -1).
example(active(d210), -1).
example(active(d211), -1).
example(active(d212), -1).
example(active(d213), -1).
example(active(d214), -1).
example(active(d215), -1).
example(active(d217), -1).
example(active(d218), -1).
example(active(d219), -1).
example(active(d220), -1).
example(active(d224), -1).
example(active(d256), -1).
example(active(d257), -1).
example(active(d258), -1).
example(active(d261), -1).
example(active(d262), -1).
example(active(d263), -1).
example(active(d264), -1).
example(active(d265), -1).
example(active(d266), -1).
example(active(d267), -1).
example(active(d269), -1).
example(active(d271), -1).
example(active(d276), -1).
example(active(d280), -1).
example(active(d285), -1).
example(active(d287), -1).
example(active(d293), -1).
example(active(d294), -1).
example(active(d59), -1).
example(active(d60), -1).
example(active(d61), -1).
example(active(d63), -1).
example(active(d64), -1).
example(active(d65), -1).
example(active(d69), -1).
example(active(d70), -1).
example(active(d71), -1).
example(active(d72), -1).
example(active(d73), -1).
example(active(d74), -1).
example(active(d75), -1).
example(active(d76), -1).
example(active(d77), -1).
example(active(d78), -1).
example(active(d79), -1).
example(active(d80), -1).
example(active(d81), -1).
example(active(d82), -1).
example(active(d112), -1).
example(active(d113), -1).
example(active(d115), -1).
example(active(d118), -1).
example(active(d120), -1).
example(active(d122), -1).
example(active(d126), -1).
example(active(d129), -1).
example(active(d131), -1).
example(active(d132), -1).
example(active(d149), -1).
example(active(d152), -1).
example(active(d153), -1).
example(active(d157), -1).
example(active(d158), -1).
example(active(d167), -1).
example(active(d168), -1).
example(active(d175), -1).
example(active(d176), -1).
example(active(d177), -1).
example(active(d182), -1).
example(active(d187), -1).
example(active(d189), -1).
example(active(d208_2), -1).
example(active(d216), -1).
example(active(d221), -1).
example(active(d222), -1).
example(active(d223), -1).
example(active(d225), -1).
example(active(d259), -1).
example(active(d260), -1).
example(active(d268), -1).
example(active(d270), -1).
example(active(d282), -1).
example(active(d295), -1).
example(active(d62), -1).
example(active(d66), -1).
example(active(d67), -1).
example(active(d68), -1).
example(active(d83), -1).



example(active(d297), -1).
example(active(d298), -1).
example(active(d299), -1).
example(active(d300), -1).
example(active(d302), -1).
example(active(d303), -1).
example(active(d304), -1).
example(active(d309), -1).
example(active(d312), -1).
example(active(d313), -1).
example(active(d317), -1).
example(active(d318), -1).
example(active(d319), -1).
example(active(d324), -1).
example(active(d326), -1).
example(active(d327), -1).
example(active(d328), -1).
example(active(d334), -1).
example(active(d335), -1).

